one ef the most important innovations in the history ef traditional logic is the avicena's theory ef temporal modalities (.atm). althottgh) the basic concepts and elements ef this theory are fottnded in aristotelian and stoic-lvlegarian !0 gic) but as a independent lo,gical system, are devised on/y fry avicenna and were later developed and completed fry his followers. the atm theory contai...

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

Abstract This paper traces the transformation in how Ottoman scribes, statesmen, and bureaucrats imagined body politic from sixteenth to nineteenth century by focusing on metaphors derived medicine human body. As others have shown, sixteenth- seventeenth-century political writing demonstrates a clear influence of Galenic Aristotelian Avicennan metaphysics conceptualizing state society. During e...

In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...